projective set造句
例句与造句
- It also implies that every projective binary relation may be uniformized by a projective set.
- It follows from the existence of sufficiently large cardinals that every projective set has the perfect set property.
- In the Wadge hierarchy, they lie above the projective sets and below the sets in L ( R ).
- It follows from projective determinacy, which in turn follows from sufficient large cardinals, that every projective set is universally measurable.
- However, under the assumption of projective determinacy, all projective sets have both the perfect set property and the property of Baire.
- It's difficult to find projective set in a sentence. 用projective set造句挺难的
- PD implies that all projective sets are Lebesgue measurable ( in fact, universally measurable ) and have the perfect set property and the property of Baire.
- It follows from the existence of sufficiently large cardinals that all games with winning set a projective set are determined ( see Projective determinacy ), and that AD holds in L ( R ).
- The properties of the projective sets are not completely determined by ZFC . Under the assumption " V = L ", not all projective sets have the perfect set property or the property of Baire.
- The properties of the projective sets are not completely determined by ZFC . Under the assumption " V = L ", not all projective sets have the perfect set property or the property of Baire.
- The "'axiom of projective determinacy "', abbreviated "'PD "', states that for any two-player infinite game of perfect information of length ? in which the players play natural numbers, if the victory set ( for either player, since the projective sets are closed under complementation ) is projective, then one player or the other has a winning strategy.
- Then " M " [ " G " ] is a model of ZFC with the property that every set of reals that is definable over a countable sequence of ordinals is Lebesgue measurable, and has the Baire and perfect set properties . ( This includes all definable and projective sets of reals; however for reasons related to Tarski's undefinability theorem the notion of a definable set of reals cannot be defined in the language of set theory, while the notion of a set of reals definable over a countable sequence of ordinals can be .)